définition :
Soit \(P=\sum^n_{k=0}a_kX^k\) un polynôme
Le polynôme dérivé de \(P\) est $${{P'}}={{\sum^n_{k=1}ka_kX^{k-1} }}$$
(Dérivée - Dérivation)
Il faut noter que l'opération de dérivation sur des polynômes est purement algébrique (on n'utilise pas de notion de limite)
Cependant, elle jouait des mêmes propriété algébriques que sur l'espace des fonctions \(\mathcal F({\Bbb R},{\Bbb R})\)
Formule de Leibniz
